Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
41	QUELQUES RAPPELS ET COMPLÉMENTS 1. R ELATION D ’ ÉQUIVALENCE , RELATION D ’ ORDRE Add to Reading List Source URL: olivier.guibe.free.fr Language: French - Date: 2014-11-24 08:01:16
42	Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
43	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
44	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
45	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
46	Preliminaries Problem representation Search systems Add to Reading List Source URL: www.atomki.hu Language: English - Date: 2015-04-29 02:58:54 Total order Finitary relation Graph Cartesian product Equivalence relation Transitive closure Mathematics Order theory Binary relation
47	Preserving Secrecy under Refinement ? ˇ y, and Steve Zdancewic Rajeev Alur, Pavol Cern´ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:27 Constructible universe Valuation Ordinal number Equivalence relation Distribution Mathematical analysis Mathematics Algebraic geometry
48	A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2013-10-15 06:14:02 Topology Adjoint functors Functor Equivalence relation Equivalence of categories Fibration Subobject Natural transformation Regular category Category theory Abstract algebra Mathematics
49	JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2006-11-01 16:30:59 Addition Mathematics education Fraction Function Sign Equivalence relation Equation Relational operator Mathematics Elementary arithmetic Equals sign
50	Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner \| peter}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-02-12 09:49:58 Applied mathematics Mathematics Büchi automaton Automata theory Equivalence relation Computer science